https://www.cs.cornell.edu/courses/cs3110/2011sp/Lectures/lec26-type-inference/type-inference.htm w Haskelu, dla zabawy

    $ runghc Main.hs <<EOF
    (Funkcja "x" (Funkcja "y" (Funkcja "z"
                                       (Wywołanie
                                        (Wywołanie (Zmienna "x") (Zmienna "z"))
                                        (Wywołanie (Zmienna "y") (Zmienna "z"))))))
    EOF
    Just ('c -> 'f -> 'd) -> ('c -> 'f) -> 'c -> 'd
